Equivalence of recursive specifications in process algebraPONSE, Alban; USENKO, Yaroslav S.Information processing letters. 2001, Vol 80, Num 1, pp 59-65, issn 0020-0190Article

Equivalence of recursive specifications in process algebraPONSE, Alban; USENKO, Yaroslav S.Report - Software engineering. 2001, Num 7, pp 1-10, issn 1386-369XArticle

Process algebra and conditional compositionBERGSTRA, Jan A; PONSE, Alban.Information processing letters. 2001, Vol 80, Num 1, pp 41-49, issn 0020-0190Article

Non-regular iterators in process algebraBERGSTRA, Jan A; PONSE, Alban.Theoretical computer science. 2001, Vol 269, Num 1-2, pp 203-229, issn 0304-3975Article

Decision problems for pushdown threadsBERGSTRA, Jan A; BETHKE, Inge; PONSE, Alban et al.Acta informatica. 2007, Vol 44, Num 2, pp 75-90, issn 0001-5903, 16 p.Article

The logic of ACPPONSE, Alban; VAN DER ZWAAG, Mark B.Report - Software engineering. 2002, Num 7, pp 1-32, issn 1386-369XArticle

Belnap's logic and conditional compositionPONSE, Alban; VAN DER ZWAAG, Mark B.Theoretical computer science. 2007, Vol 388, Num 1-3, pp 319-336, issn 0304-3975, 18 p.Article

An introduction to program and thread algebraPONSE, Alban; VAN DER ZWAAG, Mark B.Lecture notes in computer science. 2006, pp 445-458, issn 0302-9743, isbn 3-540-35466-2, 1Vol, 14 p.Conference Paper

Branching time and orthogonal bisimulation equivalenceBERGSTRA, Jan A; PONSE, Alban; VAN DER ZWAAG, Mark B et al.Theoretical computer science. 2003, Vol 309, Num 1-3, pp 313-355, issn 0304-3975, 43 p.Article

Branching time and orthogonal bisimulation equivalenceBERGSTRA, Jan A; PONSE, Alban; VAN DER ZWAAG, Mark B et al.Report - Software engineering. 2000, Num 35, pp 1-38, issn 1386-369XArticle

A bypass of Cohen's impossibility resultBERGSTRA, Jan A; PONSE, Alban.Lecture notes in computer science. 2005, pp 1097-1106, issn 0302-9743, isbn 3-540-26918-5, 10 p.Conference Paper